Elongations of uniserial modules over valuation domains

Divisible Uniserial Modules over Valuation Domains

Filtered Modules over Discrete Valuation Domains

We consider a uni ed setting for studying local valuated groups and coset-valuated groups, emphasizing the associated ltrations rather than the values of elements. Stable exact sequences, projectives and injectives are identi ed in the encompassing category, and in the category corresponding to coset-valuated groups.

Sigma-cotorsion Modules over Valuation Domains

We give a characterization of Σ-cotorsion modules over valuation domains in terms of descending chain conditions on certain chains of definable subgroups. We prove that pure submodules, direct products and modules elementarily equivalent to a Σ-cotorsion module are again Σ-cotorsion. Moreover, we describe the structure of Σ-cotorsion modules.

ω1-generated uniserial modules over chain rings

The purpose of this paper is to provide a criterion of an occurrence of uncountably generated uniserial modules over chain rings. As we show it suffices to investigate two extreme cases, nearly simple chain rings, i.e. chain rings containing only three twosided ideals, and chain rings with “many” two-sided ideals. We prove that there exists an ω1-generated uniserial module over every non-artini...

Decidability of the theory of modules over commutative valuation domains

We prove that, if V is an effectively given commutative valuation domain such that its value group is dense and archimedean, then the theory of all V -modules is decidable.